Cortier, E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Physical Model of Hydrological Behavior of Permeable Pavements Using FlexPDE

Cortier, O., Boutouil, M., Maquaire, O.

Journal:

Journal of Hydrologic Engineering

Year:

2019

File:

PDF, 1.75 MB

2019

2

[Lecture Notes in Computer Science] Electronic Voting Volume 11143 (Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings) || Online Voting in Indigenous Communities: Lessons from Canada

Krimmer, Robert, Volkamer, Melanie, Cortier, Véronique, Goré, Rajeev, Hapsara, Manik, Serdült, Uwe, Duenas-Cid, David

Year:

2018

Language:

english

File:

PDF, 248 KB

english, 2018

3

A generic security API for symmetric key management on cryptographic devices

Cortier, Véronique, Steel, Graham

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 1.42 MB

english, 2014

4

[IEEE 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) - Trento, Italy (2011.08.29-2011.08.29)] 2011 International Workshop on Requirements Engineering for Electronic Voting Systems - Ballot stuffing in a postal voting system

Cortier, Veronique, Detrey, Jeremie, Gaudry, Pierrick, Sur, Frederic, Thome, Emmanuel, Turuani, Mathieu, Zimmermann, Paul

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

5

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language

Ait-Ameur, Yamine, Cortier, Alexandre, Delmas, Rmi, Wiels, Virginie

Year:

2006

Language:

english

File:

PDF, 665 KB

english, 2006

6

[IEEE 2017 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2017.5.22-2017.5.26)] 2017 IEEE Symposium on Security and Privacy (SP) - Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Cortier, Veronique, Dragan, Constantin Catalin, Dupressoir, Francois, Schmidt, Benedikt, Strub, Pierre-Yves, Warinschi, Bogdan

Year:

2017

Language:

english

File:

PDF, 356 KB

english, 2017

7

[IEEE 2017 IEEE European Symposium on Security and Privacy (EuroS&P) - Paris, France (2017.4.26-2017.4.28)] 2017 IEEE European Symposium on Security and Privacy (EuroS&P) - Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices

Cortier, Veronique, Filipiak, Alicia, Florent, Jan, Gharout, Said, Traore, Jacques

Year:

2017

Language:

english

File:

PDF, 266 KB

english, 2017

8

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Secure Composition of PKIs with Public Key Protocols

Cheval, Vincent, Cortier, Veronique, Warinschi, Bogdan

Year:

2017

Language:

english

File:

PDF, 314 KB

english, 2017

9

[IEEE 2018 IEEE European Symposium on Security and Privacy (EuroS&P) - London, United Kingdom (2018.4.24-2018.4.26)] 2018 IEEE European Symposium on Security and Privacy (EuroS&P) - A Formal Analysis of the Neuchatel e-Voting Protocol

Cortier, Veronique, Galindo, David, Turuani, Mathieu

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

10

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios

Cortier, Veronique, Dragan, Constantin Catalin, Dupressoir, Francois, Warinschi, Bogdan

Year:

2018

File:

PDF, 280 KB

2018

11

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif

Cheval, Vincent, Cortier, Veronique, Turuani, Mathieu

Year:

2018

File:

PDF, 311 KB

2018

12

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif

Cheval, Vincent, Cortier, Veronique, Turuani, Mathieu

Year:

2018

Language:

english

File:

PDF, 311 KB

english, 2018

13

[Lecture Notes in Computer Science] Electronic Voting Volume 11759 (4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings) ||

Krimmer, Robert, Volkamer, Melanie, Cortier, Veronique, Beckert, Bernhard, Küsters, Ralf, Serdült, Uwe, Duenas-Cid, David

Year:

2019

Language:

english

File:

PDF, 12.77 MB

english, 2019

14

Note. Synthéses des 1-tert-butyl-2-chloro-et 1-tert-butyl-2-fluoro-3,5-dinitrobenzènes

J. Cortier, M. Gilon, A. Halleux

Journal:

Bulletin des Sociétés Chimiques Belges

Year:

1955

File:

PDF, 109 KB

1955

15

La substitution nucléophile activée en série aromatique III.—Ordre de mobilité des halogènes dans la réaction de 1-halogéno-2,4-dinitro-benzènes et 1-méthyl-2-halogéno-3,5-dinitro-benzènes avec l'iodure de potassium dans l'acétone

J. Cortier, P. J. C. Fierens, M. Gilon, A. Halleux

Journal:

Bulletin des Sociétés Chimiques Belges

Year:

1955

File:

PDF, 333 KB

1955

16

Integrated production and distribution scheduling on a Europe-wide basis

S.J. Wilkinson, A. Cortier, N. Shah, C.C. Pantelides

Journal:

Computers & Chemical Engineering

Year:

1996

Language:

english

File:

PDF, 402 KB

english, 1996

17

Explicit Randomness is not Necessary when Modeling Probabilistic Encryption

Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 351 KB

english, 2007

18

A note on maximally repeated sub-patterns of a point set

Véronique Cortier, Xavier Goaoc, Mira Lee, Hyeon-Suk Na

Journal:

Discrete Mathematics

Year:

2006

Language:

english

File:

PDF, 153 KB

english, 2006

19

Security properties: two agents are sufficient

Hubert Comon-Lundh, Véronique Cortier

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 332 KB

english, 2004

20

Deciding knowledge in security protocols under equational theories

Martín Abadi, Véronique Cortier

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 475 KB

english, 2006

21

Vital registration in rural Africa: is there a way forward to report on health targets of the Millennium Development Goals?

R. Zachariah, B. Mwagomba, D. Misinde, B.C. Mandere, A. Bemeyani, T. Ginindza, H. Cortier, K. Bissel, A. Jahn, A.D. Harries

Journal:

Transactions of the Royal Society of Tropical Medicine and Hygiene

Year:

2011

Language:

english

File:

PDF, 480 KB

english, 2011

22

Safely composing security protocols

Véronique Cortier, Stéphanie Delaune

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 669 KB

english, 2009

23

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier, Steve Kremer, Bogdan Warinschi

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 641 KB

english, 2011

24

Tree automata with one memory set constraints and cryptographic protocols

Hubert Comon, Véronique Cortier

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 704 KB

english, 2005

25

Caspase-10 involvement in cytotoxic drug-induced apoptosis of tumor cells

Filomenko, R, Prévotat, L, Rébé, C, Cortier, M, Jeannin, J-F, Solary, E, Bettaieb, A

Journal:

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

26

On the Structure of the Ergosurface of Pomeransky-Senkov Black Rings

Journal:

Annales Henri Poincaré

Year:

2012

Language:

english

File:

PDF, 354 KB

english, 2012

27

Decidability and Combination Results for Two Notions of Knowledge in Security Protocols

Véronique Cortier, Stéphanie Delaune

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 714 KB

english, 2012

28

Deglycosylated bleomycin induces apoptosis in lymphoma cell via c-jun NH2-terminal kinase but not reactive oxygen species

Brahim Souhir, Prévotat Laurent, Yatouji Sonia, Mérino Delphine, Cortier Marion, Rébé Cédric, Micheau Olivier, Kenani Abderraouf, Bettaieb Ali

Journal:

Biochemical Pharmacology

Year:

2007

Language:

english

File:

PDF, 1.08 MB

english, 2007

29

Specialization of a Drosophila Capping Protein Essential for the Protection of Sperm Telomeres

Raphaëlle Dubruille, Guillermo A. Orsi, Lætitia Delabaere, Elisabeth Cortier, Pierre Couble, Gabriel A.B. Marais, Benjamin Loppin

Journal:

Current Biology

Year:

2010

Language:

english

File:

PDF, 1.06 MB

english, 2010

30

Computationally sound implementations of equational theories against passive adversaries

Mathieu Baudet, Véronique Cortier, Steve Kremer

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 368 KB

english, 2009

31

C3. Mechanisms of human colon cancer cells sensitization to nitric oxide-induced apoptosis

M. Cortier, J.F. Jeannin, A. Bettaieb

Journal:

Year:

2007

Language:

english

File:

PDF, 67 KB

english, 2007

32

Nitric oxide-induced resistance or sensitization to death in tumor cells

Jean-François Jeannin, Lissbeth Leon, Marion Cortier, Néjia Sassi, Catherine Paul, Ali Bettaieb

Journal:

Year:

2008

Language:

english

File:

PDF, 185 KB

english, 2008

33

[Society of Petroleum Engineers SPE International Symposium and Exhibition on Formation Damage Control - Lafayette, Louisiana, USA (2008-02-13)] SPE International Symposium and Exhibition on Formation Damage Control - Concentric Annular Packing System Successfully Frac Packs Longest, Highly Deviated Intervals at Record Treatment Rate Attempted Worldwide: Angola Case History

Lemesnager, Fabien, Cortier, Alexandre, Chassagne, Alain, Ranjeva, Jean-Michel, Gavalda, Jean

Language:

english

File:

PDF, 1.51 MB

english

34

[Society of Petroleum Engineers SPE Annual Technical Conference and Exhibition - Denver, Colorado, USA (2008-09-21)] SPE Annual Technical Conference and Exhibition - Innovative Frac Stimulation of Low-Perm Oil Zone in High-Deviation Well Offshore Congo

Lemesnager, Fabien, Mbouyou, Patrick Edmond Michel, Gavalda, Jean, McDaniel, Billy W., Quero, Philippe, Ranjeva, Jean-Michael, Cortier, Alexandre, Hurey, Michael John

Language:

english

File:

PDF, 1.32 MB

english

35

Gluing Construction of Initial Data with Kerr–de Sitter Ends

Cortier, Julien

Journal:

Annales Henri Poincaré

Year:

2013

Language:

english

File:

PDF, 446 KB

english, 2013

36

L’index de résistivité rénale prédit le décès et la survenue d’un choc hémorragique chez le traumatisé sévère à son arrivée en centre spécialisé après prise en charge préhospitalière médicalisée

Cortier, D., Nicolas-Robin, A., Almayrac, A., Birenbaum, A., Le Saché, F., Roche, S., Langeron, O., Raux, M.

Journal:

Annales Françaises d'Anesthésie et de Réanimation

Year:

2013

Language:

french

File:

PDF, 146 KB

french, 2013

37

The coiled-coil domain containing protein CCDC151 is required for the function of IFT-dependent motile cilia in animals

Jerber, J., Baas, D., Soulavie, F., Chhin, B., Cortier, E., Vesque, C., Thomas, J., Durand, B.

Journal:

Human Molecular Genetics

Year:

2014

Language:

english

File:

PDF, 1.96 MB

english, 2014

38

Deciding equivalence-based properties using constraint solving

Cheval, Vincent, Cortier, Véronique, Delaune, Stéphanie

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 688 KB

english, 2013

39

Excess of Veno-Occlusive Disease in a Randomized Clinical Trial on a Higher Trigger for Red Blood Cell Transfusion after Bone Marrow Transplantation: A Canadian Blood and Marrow Transplant Group Trial

Robitaille, Nancy, Lacroix, Jacques, Alexandrov, Lubomir, Clayton, Lucy, Cortier, Marion, Schultz, Kirk R., Bittencourt, Henrique, Duval, Michel

Journal:

Biology of Blood and Marrow Transplantation

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

40

D'une Rive a l'autre du Saharaby Maurice Cortier

Cortier, Maurice

Journal:

Bulletin of the American Geographical Society

Year:

1909

Language:

english

File:

PDF, 109 KB

english, 1909

41

Modeling and verifying ad hoc routing protocols

Arnaud, Mathilde, Cortier, Véronique, Delaune, Stéphanie

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 969 KB

english, 2014

42

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Deciding Knowledge in Security Protocols under (Many More) Equational Theories

Abadi, M., Cortier, V.

Year:

2005

Language:

english

File:

PDF, 251 KB

english, 2005

43

[Lecture Notes in Computer Science] Formal to Practical Security Volume 5458 || Writing an OS Kernel in a Strictly and Statically Typed Language

Cortier, Véronique, Kirchner, Claude, Okada, Mitsuhiro, Sakurada, Hideki

Year:

2009

Language:

english

File:

PDF, 339 KB

english, 2009

44

[IEEE 14th IEEE Computer Security Foundations Workshop, 2001. - Cape Breton, Novia Scotia, Canada (11-13 June 2001)] Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001. - Proving secrecy is easy enough

Cortier, V., Millen, J., Ruess, H.

Year:

2001

Language:

english

File:

PDF, 925 KB

english, 2001

45

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - A Formal Theory of Key Conjuring

Cortier, Veronique, Delaune, Stephanie, Steel, Graham

Year:

2007

Language:

english

File:

PDF, 302 KB

english, 2007

46

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - Attacking and Fixing Helios: An Analysis of Ballot Secrecy

Cortier, Veronique, Smyth, Ben

Year:

2011

Language:

english

File:

PDF, 440 KB

english, 2011

47

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Protocol Composition for Arbitrary Primitives

Ciobâca, Stefan, Cortier, Véronique

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

48

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Modeling and Verifying Ad Hoc Routing Protocols

Arnaud, Mathilde, Cortier, Véronique, Delaune, Stéphanie

Year:

2010

Language:

english

File:

PDF, 380 KB

english, 2010

49

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment

Talpin, Jean-Pierre, Ouy, Julien, Gautier, Thierry, Besnard, Loïc, Cortier, Alexandre

Year:

2010

Language:

english

File:

PDF, 761 KB

english, 2010

50

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - A Method for Proving Observational Equivalence

Cortier, Véronique, Delaune, Stéphanie

Year:

2009

Language:

english

File:

PDF, 353 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски